The DIG Description Logic Interface: DIG/1.0
نویسنده
چکیده
This document describes a simple API for a general description logic system. This forms the first of a number of such specifications. Later versions will introduce more higher-level functionality. The current, Level 0 specification provides basic access to the reasoning capabilities of a DL reasoner.
منابع مشابه
The DIG Description Logic Interface: DIG/1.1
This document describes a simple API for a general description logic system.
متن کاملDIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners
The DIG Interface provides an implementation-neutral mechanism for accessing Description Logic reasoner functionality. At a high level the interface consists of XML messages sent to the reasoner over HTTP connections, with the reasoner responding as appropriate. Key changes in the current version (DIG 2.0) include support for OWL 1.1 and well-defined mechanisms for extensions to the basic inter...
متن کاملDIG 2.0 Reference Middleware
The DIG interface defines a protocol for the communication of Description Logic (DL) applications. The current DIG 1.1 specification has some shortcomings, which gave rise to the definition of its successor DIG 2.0. In this paper, we introduce the DIG 2.0 Reference Middleware. It allows for the integration of applications that comply with any of the two language versions. In addition to a langu...
متن کاملDIG2.0: An Interface for Description Logic Systems
The DIG Interface provides an implementationneutral mechanism for accessing Description Logic reasoner functionality. At a high level the interface consists of XML messages sent to the reasoner over HTTP connections, with the reasoner responding as appropriate. This paper reports on enhancements of the DIG interface, including support for new language constructs and an extension mechanism.
متن کاملFaCT++ Description Logic Reasoner: System Description
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additional support for datatypes, including strings and integers. The system employs a wide range of performance enhancing optimisations, including both standard techniques (such as absorption and model merging) and newly d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002